Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
341	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
342	Second order logic or set theory? Jouko Väänänen Helsinki and Amsterdam 1 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2011-02-25 10:08:14
343	to appear in T. Lewis & L. Marsh (Eds.), Human Stigmergy: Theoretical Developments and New Applications. Springer. Stigmergy as a Universal Coordination Mechanism: components, varieties and applications Francis Heylighen Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2015-06-23 13:38:13 Systems theory Self-organization Superorganisms Collective intelligence Multi-agent systems Stigmergy Francis Heylighen Swarm behaviour Swarm intelligence Pierre-Paul Grass Spontaneous order Intelligent agent
344	Higher-Order Game Theory Paulo Oliva Queen Mary University of London School of Electronic Engineering and Computer Science London, E1 4NS United Kingdom of Great Britain and Northern Ireland Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 11:59:47 Computability theory Recursion Operations research Bar recursion FP Oliva Mathematical optimization
345	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
346	Microsoft Word - ORDER FORM02 Add to Reading List Source URL: www.cyberdriveillinois.com Language: English - Date: 2016-01-29 08:19:15 United States administrative law Illinois law Administrative law Decision theory Rulemaking Illinois Administrative Code Administrative Procedure Act Illinois Register Notice of proposed rulemaking
347	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
348	Microsoft Word - ORDER FORM02 Add to Reading List Source URL: www.cyberdriveillinois.com Language: English - Date: 2016-03-04 08:04:11 United States administrative law Illinois law Decision theory Administrative law Rulemaking Federal Register Administrative Procedure Act Advisory Committee on Immunization Practices Notice Illinois Administrative Code Illinois Register Negotiated rulemaking
349	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
350	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic

UPDATE